1. Computer science :
پدیدآورنده : Edward K. Blum, Alfred V. Aho, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information theory.,Software engineering.
رده :
QA76
.
C66
2011
2. Formal Aspects of Component Software
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service
3. Formal methods :
پدیدآورنده : Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019
4. Human Benefit through the Diffusion of Information Systems Design Science Research :
پدیدآورنده : edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information theory.,Software engineering.
رده :
QA76
.
9
.
S88
E358
2010
5. Informatik :
پدیدآورنده : Wolfgang Kastner, Gerhard-Helge Schildt ; Begleitbuch zu Blieberger et al., Informatik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science),Information theory.,Software engineering.,Data structures (Computer science),Information theory.,Software engineering.
6. Mathematical Foundations of Computer Science 1996 :
پدیدآورنده : edited by Wojciech Penczek, Andrzej Szałas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information theory.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1996
7. Optical Network Design and Modeling
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer Science; Computer Communication Networks; Data Structures, Cryptology and Information Theory; Software Engineering/Programming and Operating Systems; Computer Hardware
8. Software Engineering 3
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
9. Software engineering and knowledge engineering
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Software engineering,Expert systems (Computer science),Knowledge representation (Information theory)
رده :
QA76
.
758
.
S6456
1995
10. Software engineering and knowledge engineering: trends for the next decade
پدیدآورنده :
موضوع : ، Software engineering,، Expert systems )Computer science(,، Knowledge representation )Information theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Statistisches Matching mit Fuzzy Logic :
پدیدآورنده : Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
رده :
GB656
.
2
.
H9
12. Synchronous Programming of Reactive Systems
پدیدآورنده : by Nicolas Halbwachs.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information theory.,Operating systems (Computers),Software engineering.
13. Vieweg Profi-Software WESTgraf :
پدیدآورنده : von Bernhard Stauss, Herbert Weidner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information theory.,Software engineering.
رده :
TK7874
.
6
V663
1992
